Dynamic logic - PDFSEARCH.IO - Document Search Engine

Dynamic logic
Results: 262

#	Item
221	A Compositional Proof System for the Modal µ-Calculus∗ Henrik Reif Andersen† Colin Stirling Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-10-16 07:00:48 Modal logic Non-classical logic Philosophical logic Connection Dynamic logic Ground expression Logic Mathematics Logic in computer science
222	80 MHz Bandwidth, IF Receiver AD6677 Data Sheet FEATURES Add to Reading List Source URL: www.analog.com Language: English - Date: 2014-05-23 10:28:51 Electromagnetism Analog-to-digital converter Spurious-free dynamic range Serial Peripheral Interface Bus DBFS JESD204 Emitter-coupled logic Power supply Decibel Digital signal processing Electronics Electronic engineering
223	MEMICS[removed]A Practical Approach to Courcelle’s Theorem 1 Add to Reading List Source URL: tcs.rwth-aachen.de Language: English - Date: 2010-01-20 04:43:33 Graph operations Tree decomposition Path decomposition First-order logic Tree FO Minor Model theory Dynamic programming Graph theory Mathematics Theoretical computer science
224	1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2009-01-30 07:12:28 Philosophy Game theory Philosophy of mathematics Mathematical logic Johan van Benthem Modal logic Game semantics Institute for Logic Language and Computation Epistemic modal logic Logic Philosophical logic Mathematics
225	Stanford Encyclopedia of Philosophy: A Dynamic Reference Work ∗ † Add to Reading List Source URL: plato.stanford.edu Language: English - Date: 2004-05-06 13:51:35 Logic Encyclopedia Reference Knowledge Online encyclopedias Stanford Encyclopedia of Philosophy Information
226	Modal Logic Carnegie Mellon University Fall 2012 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2012-08-24 16:10:09 Kripke semantics Epistemic modal logic First-order logic Deontic logic Temporal logic Dynamic logic Neighborhood semantics Saul Kripke Multimodal logic Logic Mathematical logic Modal logic
227	Modeling of Phenomena and Dynamic Logic of Phenomena Boris Kovalerchuk1, Leonid Perlovsky2, Gregory Wheeler3 Draft of September 1, [removed]Central Washington University, Dept. of Computer Science, USA, [removed] 2 Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2011-09-01 06:17:34 Model theory Predicate logic Philosophical logic Mereology Interpretation Kripke semantics First-order logic Modal logic Function Logic Mathematical logic Mathematics
228	Microsoft Word - Progression Chart - Math LibArts.doc Add to Reading List Source URL: www.hawcc.hawaii.edu Language: English - Date: 2012-11-29 16:54:00 Dynamic logic Logic in computer science Modal logic Graded manifold Topology Mathematics Abstract algebra
229	NTE2114 Integrated Circuit MOS, Static 4K RAM, 300ns Description: The NTE2114 1024–word 4–bit static random access memory is fabricated using N–channel silicon– gate technology. All internal circuits are fully st Add to Reading List Source URL: biblioteca.museo8bits.es Language: English - Date: 2007-06-24 06:00:00 Chip select Computing Dynamic random-access memory Three-state logic Computer memory Computer hardware Static random-access memory
230	CICC ‘93 Preprint (IEEE Custom Integrated Circuits Conference, San Diego, May 9–12) comments to [removed] or[removed]COST, POWER, AND PARALLELISM IN SPEECH SIGNAL PROCESSING Richard F. Lyon Add to Reading List Source URL: dicklyon.com Language: English - Date: 2006-06-30 14:43:08 Digital electronics Integrated circuits Logic families Electronic design Semiconductor devices CMOS Pass transistor logic Very-large-scale integration Dynamic logic Electronic engineering Electronics Electromagnetism

UPDATE